Search Results
"A gentle introduction to template games" by Dr. Paul-André Melliès (CNRS, University of Paris)
Paul André Melliès - Dialogue Games and Logical Proofs in String Diagrams
Programming languages in string diagrams — Paul-André Melliès 061803
Paul-André Melliès - A Functorial Excursion between Algebraic Geometry and Linear Logic
Programming languages in string diagrams — Paul-André Melliès 061704
Programming languages in string diagrams — Paul-André Melliès 061801 1
Innovaxiom - Categories and physics 2011 - Paul-André Melliès
Programming languages in string diagrams — Paul-André Melliès 061801 2
Paul Andre MELLIES - Programming languages and ropes diagrams Part 1 | NICE 8th Jan 2018
Programming languages in string diagrams — Paul-André Melliès 061603
Paul-André Melliès: Programming languages and string diagrams Part 2
Paul Andre Mellies: An introduction to tensorial logic and dialogue categories
